Topology-based Safety Analysis for Safety Critical CPS

Transportation CPS Safety Challenges

Creating safe Transportation Cyber-Physical Systems (CPSs) presents new challenges as autonomous operation is attempted in unconstrained operational environments. The extremely high safety level required of such systems (perhaps one critical failure per billion operating hours) means that validation approaches will need to consider not only normal operation, but also operation with system fault...

Challenges In Representing CPS Safety

This position paper describes the challenge of ensuring run-time safety in cyber-physical systems. The overarching problem is ensuring that computerbased systems will maintain safe operations even in the face of design-time and run-time faults. One way to address this problem is by creating an ability to perform run-time safety checks on CPS applications that can be used to record hazards, trig...

SysML Aided Safety Analysis for Safety-Critical Systems

Selecting a Topology for Safety-Critical Real-Time Control Systems

In recent years the functionality required of computer based control systems for safetycritical real-time applications has increased dramatically. Inevitably this has led to an explosion in the complexity of such systems and an understanding, in both academia and industry, that existing design methods are no longer adequate. One design issue that has traditionally been addressed in an ad hoc an...

An Agent-based Approach For Safety Analysis of Safety-Critical Organizations

Modern safety-critical organizations are characterized by complex, nonlinear dynamics involving many interrelated actors and processes. Safety issues that emerge from these complex dynamics increasingly remain hidden, until an incident or even a serious accident occurs. Traditional safety analysis methods developed long ago for much simpler organizations cannot help identifying, explaining and ...